Revision: tla-tools--devo--0--patch-59
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Mon Sep 15 15:30:06 JST 2003
Standard-date: 2003-09-15 06:30:06 GMT
Modified-files: ChangeLog tla-copy-changes.shpp
    tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-59
Removed-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-55
    miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-56
Summary: Revert patch-55 and patch-56

They're now in the tla-tools--x branch, pending merging when/if the UI
changes they depend on (from my tla--x branch) get merged into the real
tla.
